9k-9-12k^4